181. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, Gertrude Elizabeth Margaret, 9191-1002
کتابخانه: (طهران)
موضوع : ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T7226
1971
182. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, G. E. M. )Gertrude Elizabeth Margaret(
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Tractatus logico-philosophicus - Criticism and Interpretation ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages
رده :
B
3376
.
W563T7
183. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: (طهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
184. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
185. An introduction to fussy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
.
H39
2010
186. An introduction to fuzzy logic applications
پدیدآورنده : / by John Harris
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
H39
2000
187. An introduction to many-valued logics
پدیدآورنده : Robert John Ackermann
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
A23
188. An introduction to mathematical logic
پدیدآورنده : ROBINSON,GERSON B
کتابخانه: (طهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
189. An introduction to mathematical logic
پدیدآورنده : Richard E. Hodel,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995
190. An introduction to mathematical logic
پدیدآورنده : [by] Gerson B. Robison
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
R72
191. An introduction to mathematical logic
پدیدآورنده : Robison, Gerson B
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R72
192. An introduction to mathematical logic and type theory :
پدیدآورنده : by Peter B. Andrews.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
193. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
194. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
195. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
196. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
197. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: (طهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
198. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
199. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
200. An introduction to mathematical thought
پدیدآورنده : / by E. R. Stabler
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
St-I
